Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
641	DEFAULT ARGUMENTS Wednesday, September 18, 13 DEFAULT ARGUMENTS Add to Reading List Source URL: esdiscuss.org Language: English Functions and mappings Subroutines Functional programming Lambda calculus Function Exponential function Surjective function Software engineering Computer programming Mathematics
642	Lecture 5 Constructive Algorithms in Coq - NII Lectures Series [width=4cm]niilogo.jpg Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2013-11-25 03:08:36 Functions and mappings Lambda calculus Application programming interfaces Theoretical computer science Function composition Functional programming Coq Function Algorithmic skeleton Computing Software engineering Computer programming
643	Operational domain theory and topology of sequential programming languages Mart´ın Escard´o Weng Kin Ho Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2008-12-11 05:21:07 Metalogic Denotational semantics Structure Continuous function Sheaf Lambda calculus Orbifold Surreal number Mathematics Models of computation Model theory
644	The Ruby Intermediate Language ∗ Michael Furr Jong-hoon (David) An Jeffrey S. Foster Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2009-11-19 15:40:34 Scripting languages Higher-order functions Subroutines Functional programming Lambda calculus Eval Ruby Main function Dataflow Software engineering Computing Computer programming
645	Everything old is new again: Quoted Domain Specific Languages Shayan Najd Sam Lindley Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-03-15 07:34:21 Lambda calculus Type theory Combinatory logic Fixed-point combinator Recursion Type system Monad Declaration First-order logic Theoretical computer science Software engineering Mathematical logic
646	Type-Safe Cast Stephanie Weirich ∗ Department of Computer Science Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:49:28 Program analysis Type system Lambda calculus Function Symbol Curry–Howard correspondence Mathematics Mathematical logic Type theory
647	Contracts Made Manifest Michael Greenberg Benjamin C. Pierce Stephanie Weirich Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:18 Formal methods Entailment Logical consequence Metalogic Symbol Function Lambda calculus Linear temporal logic Logic Mathematics Deduction
648	Motivation The operations and control structures of imperative languages are strongly influenced by the way most real computer hardware works. This makes imperative languages relatively easy to compile, but (arguably) le Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-02-21 06:00:00 Procedural programming languages Evaluation strategy Eval ALGOL 68 Conditional Function Parameter Lazy evaluation Lambda calculus Software engineering Computing Computer programming
649	Motivation Intra-procedural analysis depends upon accurate control-flow information. In the presence of certain language features (e.g. indirect calls) it is nontrivial to predict accurately how control may flow at execu Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-02-23 06:00:00 Mathematical logic Function Lambda calculus Control flow analysis Combinatory logic Fixed-point combinator Mathematics Data-flow analysis Theoretical computer science
650	Dependent Types and Program Equivalence Limin Jia Jianzhou Zhao Vilhelm Sjöberg Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:18 Models of computation Lambda calculus Type theory Simply typed lambda calculus Theory of computation Valuation Type system Equivalence relation Natural deduction Theoretical computer science Mathematics Computer science

UPDATE